Finite State Machine Based SDL
ثبت نشده
چکیده
منابع مشابه
Test Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling
Test case generation for a network protocol by extended finite state machine (EFSM) based modeling is a well-known technique in formal methods in conformance testing. An input output based EFSM (IOEFSM) is a popular model for a protocol specified in the specification and description language (SDL) because an SDL process diagram is based on an input-driven EFSM. However, as an SDL specification ...
متن کاملThe formal semantics of SDL-2000: Status and perspectives
In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL2000 was officially approved to become part of the SDL language definition. It covers both the static and the dynamic semantics, and is based on the formalism of abstract state machines (ASMs). To support exec...
متن کاملAbstract State Machine Semantics of SDL
State Machine Semantics of SDL Uwe Glasser (Heinz Nixdorf Institut Universitat-GH Paderborn, Germany [email protected]) Ren e Karges (metronet GmbH Koln, Germany [email protected]) Abstract: Based on the ITU-T Recommendation Z.100 [27]|also known as SDL-92| we de ne a formal semantic model of the dynamic properties of Basic SDL in terms of an abstract SDL machine. More precisel...
متن کاملExpanding an Extended Finite State Machine to aid Testability
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in order to bypass the infeasible path problem. The approach is developed for the specification language SDL but, in order to aid generality, the rewriting process is broken down into two phases: producing a normal form EFS...
متن کاملSpecification of Timed EFSM Fault Models in SDL
In this paper, we apply our timing fault modeling strategy to writing formal specifications for communication protocols. Using the formal language of Specification and Description Language (SDL), we specify the Controller process of rail-road crossing system, a popular benchmark for real-time systems. Our extended finite state machine (EFSM) model has the capability of representing a class of t...
متن کامل